Reports: Defining and Certifying Electronic Publication in Science
نویسندگان
چکیده
Prepared by an International Working Group Mark S. Frankel, Co-Chair, American Association for the Advancement of Science, USA Roger Elliott, Co-Chair, International Council for Science, UK Martin Blume, American Physical Society, USA Jean-Manuel Bourgois, Magnard/Vuibert Publishers, France Bernt Hugenholtz, University of Amsterdam, The Netherlands Mats G. Lindquist, Lund University Library, Sweden Sally Morris, Association of Learned & Professional Society Publishers, UK Erik Sandewall, Linköping University, Sweden
منابع مشابه
Reports: Defining and Certifying Electronic Publication in Science
Prepared by an International Working Group Mark S. Frankel, Co-Chair, American Association for the Advancement of Science, USA Roger Elliott, Co-Chair, International Council for Science, UK Martin Blume, American Physical Society, USA Jean-Manuel Bourgois, Magnard/Vuibert Publishers, France Bernt Hugenholtz, University of Amsterdam, The Netherlands Mats G. Lindquist, Lund University Library, Sw...
متن کاملAnalysis of the Impact of Economic Sanctions on Health Research and Publication Activities of Scientists from Iran
The article discusses the publication activity of scientists in the field of studying the consequences of US economic sanctions against Iran, and their impact on the development of science and the economy in this countries. The paper considers the dynamics of publication activity in the field of biomedicine of Iranian scientists over the past 20 years. Increased sanctions have led to a shortage...
متن کاملمطالعه وضعیت نشر مجلات علمی در ایران
Purpose: This study was performed to investigate the publication status of Iranian scientific journals with regard to scope, organizational affiliation, scientific level, publication language, electronic publication, and full-text access, either free or paid. Methodology: The evaluative research method has been used in this study. A checklist was employed for collection of data related to scop...
متن کاملMisconduct in Research and Publication: a Dilemma That Is Taking Place
Having considered current reports concerning plagiarisms taking place in the global science community, the authors decided to address the principal reasons, which lead to these illegalities. In recent years, misconduct in research, such as plagiarism, fabrication, falsification, guest author, ghost author, self-citation, etc. have been increasing significantly in scientific papers, proving a la...
متن کاملInvestigating Type-Certifying Compilation with Isabelle
This paper presents a type certifying compiler for a subset of Java and proves the type correctness of the bytecode it generates in the proof assistant Isabelle. The proof is performed by defining a type compiler that emits a type certificate and by showing a correspondence between bytecode and the certificate which entails well-typing.
متن کامل